Counting Algebraic Points in Expansions of O-Minimal Structures by a Dense Set

Structure Theorems in Tame Expansions of O-minimal Structures by a Dense Set

We study sets and groups definable in tame expansions of ominimal structures. Let M̃ = ⟨M, P ⟩ be an expansion of an o-minimal Lstructure M by a dense set P . We impose three tameness conditions on M̃ and prove a cone decomposition theorem for definable sets and functions in the realm of the o-minimal semi-bounded structures. The proof involves induction on the notion of ‘large dimension’ for def...

Expansions of o-minimal structures by dense independent sets

Let M be an o-minimal expansion of a densely ordered group and H be a pairwise disjoint collection of dense subsets of M such that ⋃ H is definably independent in M. We study the structure (M, (H)H∈H). Positive results include that every open set definable in (M, (H)H∈H) is definable in M, the structure induced in (M, (H)H∈H) on any H0 ∈ H is as simple as possible (in a sense that is made preci...

Expansions of o-minimal structures by fast sequences

Dense Pairs of O-minimal Structures

The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of “small definable set” plays a special role in this description. Introduction. In a classical paper [8] A. Robinson proved the completeness of the theory of real closed fields with a predicate for a proper dense real closed subfi...

Near Integral Points of Sets Definable in O Minimal Structures

Modifying the proof of a theorem of Wilkie, it is shown that if a one dimnsional set S is definable in an O minimal expansion of the ordered field of the reals, and if it is regularly exponentially near to many integral points, then there is an unbounded set, which is R definable without parameters, and which is exponentially near to S.